<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" >
<title>Examples</title>

<link href="book.css" rel="stylesheet" type="text/css">
<link href="code.css" rel="stylesheet" type="text/css">
<link rel="home" href="00-Main.html" title="">
</head>
<body>
<a name="Examples"></a>
<h1>Examples</h1>
<p>
Now we will show some examples of Xsemantics systems (type systems and possibly
operation semantics/interpreter) for some languages implemented in Xtext.
</p>
<p>
The presented examples are available as an installable features from the
update site.  
</p>
<p>
There are two installable features for the examples:
</p>
<p>
<ul>
	<li>
		<em>"Xsemantics Examples"</em> contains the wizards to let you import in your
			workspace the sources of the examples; <em>this feature is part of the SDK feature</em>; These
			wizards are the ones that are part of the "Examples" subcategory in the screenshot below
			(e.g., "Xsemantics Expressions Example", etc.)
	</li>
	<li>
		<em>"Xsemantics Implemented Examples"</em> contains the running implementations
			(including the editors) of such examples, so that you can try them directly in your
			running Eclipse (Since version 1.5.1 this is a separate feature so that you won&apos;t
			have to install such implementations directly in your Eclipse if you don&apos;t want to).
			This feature provides the wizards to create projects for such examples (with some
			default input files).  These wizards are the ones that are directly part of the
			"Xsemantics" category in the screenshot below (e.g., "Expressions Project").
	</li>
</ul>
</p>
<p>
Once installed, you will find project wizards for the example
languages, as shown in the screenshot
</p>
<p>
<div class="image" >
<img src="images/xsemantics-examples-wizards.png" class=" " 
 style="width:70%" />
<div class="caption">
Xsemantics Examples Wizards
</div>
</div>
</p>
<p>
For each example language included in Xsemantics, you will then find
a wizard which creates a project to experiment with that example language,
and a wizard to materialize in the workspace the sources of the
projects for that example language. (the sources are also available 
from the git repository, see <a href="02-GettingStarted.html#Sources" title="Go to &quot;Sources&quot;" >section Sources</a>).  The wizards are part of the
installable features as detailed above.
</p>
</body>
</html>
